Nuprl Definition : es-interface-vals
11,40
postcript
pdf
X
(
L
) == map(
e
.
X
(
e
);
L
)
latex
Definitions
map(
f
;
as
)
,
x
.
A
(
x
)
,
X
(
e
)
FDL editor aliases
es-interface-vals
origin
e.X(e);L) e.X(e);L) x.A(x)